\begin{tabbing}
$\forall$\=${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type), $x$,$T$:top, ${\it ks}$:(top List), $a$:top, ${\it snd}$:msg{-}spec(\=${\it ds}$;\+\+
\\[0ex]${\it da}$),
\-\\[0ex]$j$:Id.
\-\\[0ex]sqequal(\=R{-}has{-}loc(ecl{-}machine3(${\it ds}$; ${\it da}$; $x$; $T$; ${\it ks}$; $a$; ${\it snd}$); $j$);\+
\\[0ex]if null(${\it ks}$)
\\[0ex]then reduce(\=($\lambda$$l$,$b$. bor(band(($\neg_{b}$null(ecl{-}tags($l$; ${\it snd}$))); eq\_id(source($l$); $j$)); $b$));\+
\\[0ex]ff;
\\[0ex]remove{-}repeats(idlnk{-}deq; msg{-}spec{-}links(${\it snd}$)))
\-\\[0ex]else reduce(\=($\lambda$$l$,$b$. bor(eq\_id(source($l$); $j$); $b$));\+
\\[0ex]ff;
\\[0ex]remove{-}repeats(idlnk{-}deq; msg{-}spec{-}links(${\it snd}$)))
\-\\[0ex]fi )
\-
\end{tabbing}